Math'φsics
Acceuil
Maths
Physique
Maths
Physique
Quantificateur universel
Formulaire de report
Problème d'affichage
Contenu de la note peu pertinent
Définition
\(\forall\) est appelé "quantificateur universel"
L'assertion \(\forall x,A(x)\) est vraie si et seulement si pour tout objet \(x\), \(A(x)\) est vraie
Formules
Négation
(
Conjonction
)
Négation
: $${{\lnot(\forall x,A(x))}}\iff{{(\exists x,\lnot A(x))}}$$
Interprétation
$${{[\![\forall x.\varphi,\nu]\!]}}={{\min\{[\![\varphi,\nu[x=d]]\!]\mid d\in\mathcal D\} }}$$
(
Fonction minimum
)
Rétroliens :
Intersection
Sous-ensemble - Partie d'un ensemble